(0 17 15)(1 19 6)(2 16 4)(3 20 18)(5 9 7)(8 13 10)(11 14 12)
ALLOWS (11/8)-SEQUENCE
1: (3 18 20)

(0 17 15)(1 19 6)(2 16 4)(3 18 20)(5 9 7)(8 13 10)(11 14 12)
2: (1 19 6)

(0 17 15)(1)(2 16 4)(3 18 20)(5 9 7)(6)(8 13 10)(11 14 12)(19)
3: (3 18 20)

(0 17 15)(1)(2 16 4)(3)(5 9 7)(6)(8 13 10)(11 14 12)(18)(19)(20)
4: (2 16 4)

(0 17 15)(1)(2)(3)(4)(5 9 7)(6)(8 13 10)(11 14 12)(16)(18)(19)(20)